Search Results for 'reachable call'

reachable call published presentations and documents on DocSlides.

Towards Context-oriented Self-adaptation in Resource-constr

by ellena-manuel

Cyberphysical. Systems . Mikhail Afanasov*,. . ...

Writing Model-Checkers for

by yoshiko-marsland

Boolean Recursive Programs.  using a Fixed-Point...